System JLZ – rational default reasoning by minimal ranking constructions
نویسندگان
چکیده
منابع مشابه
System JLZ - rational default reasoning by minimal ranking constructions
We present a powerful quasi-probabilistic default formalism for graded defaults based on a well-motivated canonical ranking construction procedure, System JLZ. It implements the minimal construction paradigm and verifies the major inference principles and inheritance desiderata, including rational monotony for propositions and structured cumulativity for default conditionals. With help from a s...
متن کاملDisjunctive Update, Minimal Change, and Default Reasoning
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA 9], are generally problematic for updating knowledge bases with disjunctive information under some circumstances. In this paper, we propose a new approach, which is called the minimal change with exceptions (the MC...
متن کاملDefault Reasoning System DeReS
In this paper, we describe an automated reasoning system, called DeReS. DeReS implements default logic of Reiter by supporting several basic reasoning tasks such as testing whether extensions exist, finding one or all extensions (if at least one exists) and querying if a formula belongs to one or all extensions. If an input theory is a logic program, DeReS computes stable models of this program...
متن کاملDefault Reasoning System
In this paper, we describe an automated reasoning system, called DeReS. DeReS implements default logic of Reiter by supporting several basic reasoning tasks such as testing whether extensions exist, nding one or all extensions (if at least one exists) and querying if a formula belongs to one or all extensions. If an input theory is a logic program, DeReS computes stable models of this program a...
متن کاملWhat Should Default Reasoning Be, by Default?
This is a position paper concerning the role of empirical studies of human default reasoning in the formalization of AI theories of default reasoning. We note that AI motivates its theoretical enterprise by reference to human skill at default reasoning, but that the actual research does not make any use of this sort of information and instead relies on intuitions of individual investigators. We...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2003
ISSN: 1570-8683
DOI: 10.1016/s1570-8683(03)00016-8